xen: allow global VIRQ handlers to be delegated to other domains
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Sat, 28 Jan 2012 13:48:03 +0000 (13:48 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Sat, 28 Jan 2012 13:48:03 +0000 (13:48 +0000)
commit87521589aa6a677bad2b4a80b8fd3ad152c1c274
tree86d58beaeede99086666d61c3d1aff63ee800ee5
parent14eb3b41d03f75b89928fad8f720f7d49598b0be
xen: allow global VIRQ handlers to be delegated to other domains

This patch sends global VIRQs to a domain designated as the VIRQ
handler
instead of sending all global VIRQ events to dom0. This is required in
order to run xenstored in a stubdom, because VIRQ_DOM_EXC must be sent
to xenstored for domain destruction to work properly.

This patch was inspired by the xenstored stubdomain patch series sent
to xen-devel by Alex Zeffertt in 2009.

Signed-off-by: Diego Ongaro <diego.ongaro@citrix.com>
Signed-off-by: Alex Zeffertt <alex.zeffertt@eu.citrix.com>
Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Keir Fraser <keir@xen.org>
20 files changed:
tools/flask/policy/policy/flask/access_vectors
tools/libxc/xc_domain.c
tools/libxc/xenctrl.h
xen/arch/x86/cpu/mcheck/amd_nonfatal.c
xen/arch/x86/cpu/mcheck/mce.c
xen/arch/x86/cpu/mcheck/mce_intel.c
xen/arch/x86/cpu/mcheck/non-fatal.c
xen/common/cpu.c
xen/common/domain.c
xen/common/domctl.c
xen/common/event_channel.c
xen/common/trace.c
xen/drivers/char/console.c
xen/include/public/domctl.h
xen/include/xen/event.h
xen/include/xsm/xsm.h
xen/xsm/dummy.c
xen/xsm/flask/hooks.c
xen/xsm/flask/include/av_perm_to_string.h
xen/xsm/flask/include/av_permissions.h